Buy Used and New W. Rance Cleaveland Books

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma

ISBN 13: 9783540606307

Format: Paperback (308 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later